Software verification is a research field and methodological approach in computer science focused on demonstrating that software artifacts satisfy specified requirements and properties. It investigates techniques, often employing formal methods, static analysis, and rigorous testing, to establish confidence in the correctness, reliability, and safety of software systems, thereby mitigating defects and ensuring adherence to design intent.